Simulation language - PDFSEARCH.IO - Document Search Engine

Simulation language
Results: 338

#	Item
261	Factsheet Computational Science & Modeling Overview Add to Reading List Source URL: srnl.doe.gov Language: English - Date: 2014-04-23 06:08:34 Hydrogeology Computational science Ethology Scientific modelling Epistemology Computer simulation Modeling language Extended Enterprise Modeling Language Scientific modeling Science Enterprise modelling
262	A Dynamic One-Dimensional Model of Hydrodynamics and Water Quality (EPDRiv1) Add to Reading List Source URL: www.epa.gov Language: English - Date: 2013-01-10 09:38:37 Programming language implementation Hydraulic engineering Simulation VisIt Computing Fluid dynamics Generalized Environmental Modeling System for Surfacewaters MEDINA Software Application software Preprocessor
263	William L. Jackson (Bill) Modeling and Simulation Group Computational Sciences and Engineering Division Oak Ridge National Laboratory Oak Ridge, TN[removed], USA Add to Reading List Source URL: computing.ornl.gov Language: English - Date: 2008-02-11 14:12:22 Computational science Scientific modelling Epistemology Simulation software Science Philosophy of science Modeling language Battelle Memorial Institute Manhattan Project Oak Ridge National Laboratory
264	DOC Document Add to Reading List Source URL: aim.cast.org Language: English - Date: 2010-10-22 17:03:55 Knowledge Scientific modeling Operations research Simulation Computer simulation Information and communication technologies in education Computer-assisted language learning Virtual world Instructional simulation Virtual reality Education Science
265	Friend or Foe? Technology in the Language Classroom "Remember, high-tech means breaks down next week, while cutting edge means breaks down this afternoon." Add to Reading List Source URL: www.esl-lab.com Language: English - Date: 2007-02-19 09:16:55 Technology Educational psychology Language education Mobile technology Simulation Education Distance education E-learning
266	Toolkit for Hybrid Systems Modeling & Evaluation (THYME) Output at state events or simple (pre-schedulable) time events Problem Statement: Add to Reading List Source URL: computing.ornl.gov Language: English - Date: 2010-08-04 07:13:32 Computer networking Network simulation Telecommunications engineering Hybrid system Simulation Philosophy of science Scientific modelling Abstraction Simulation language Science Differential equations Simulation software
267	Datasheet Solutions for DO-254 Overview `` Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-03-10 22:15:24 Electronic design Logic design Integrated circuits Synopsys Hardware description language Logic synthesis Logic simulation Integrated circuit design High-level synthesis Electronic engineering Digital electronics Electronic design automation
268	Datasheet In-Vehicle Network Design Synopsys’ Saber® simulator is a complete design and verification solution for in-vehicle communication networks. Add to Reading List Source URL: www.synopsys.com Language: English Operations research Simulation FlexRay Network simulation SPICE Reliability engineering Hardware description language CAN bus Vehicle bus Technology Electronic engineering Software
269	Microsoft PowerPoint - 2014_04_15-SoCECIE-Chau-Perriello-brief-v2.pptx Add to Reading List Source URL: www.acq.osd.mil Language: English - Date: 2014-04-11 15:37:27 Military Assault rifles Management United States Department of Defense M4 carbine Systems Modeling Language Concept of operations DOTMLPF United States Army Armament Research Development and Engineering Center Military organization Modeling and simulation Systems engineering
270	ON THE EFFECTIVENESS OF ASSERTION-BASED VERIFICATION IN AN INDUSTRIAL CONTEXT L.Pierre, F.Pancher, R.Suescun, J.Quévremont TIMA Laboratory, Grenoble, France Add to Reading List Source URL: lvl.info.ucl.ac.be Language: English - Date: 2013-10-21 02:25:05 Electronic design automation Logic design Model checking Temporal logic VHDL Logic simulation Hardware verification languages Formal methods Property Specification Language Electronic engineering Digital electronics Hardware description languages

UPDATE